#define _CRT_SECURE_NO_WARNINGS
#include<stdio.h>
#include<string.h>
//int main()
//{
//	int x = 3;
//	do
//	{
//		printf("%d", x -= 2);
//	} while (!(--x));
//	return 0;
//}

int main()
{
	char ss[10] = "12345";
	gets(ss);
	strcat(ss, "6789");
	printf("%s\n", ss);
	return 0;
}